home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 4 / Apprentice-Release4.iso / Languages / Caml Light 0.7 / examples / minicaml / eval.mli < prev    next >
Encoding:
Text File  |  1995-06-01  |  575 b   |  22 lines  |  [TEXT/MPS ]
  1. #open "syntaxe";;
  2. type valeur =
  3.      Val_nombre of int
  4.    | Val_booléenne of bool
  5.    | Val_paire of valeur * valeur
  6.    | Val_nil
  7.    | Val_cons of valeur * valeur
  8.    | Val_fermeture of fermeture
  9.    | Val_primitive of valeur -> valeur
  10.  
  11. and fermeture =
  12.   { Définition: (motif * expression) list;
  13.     mutable Environnement: environnement }
  14.  
  15. and environnement == (string * valeur) list;;
  16.  
  17. value évalue: environnement -> expression -> valeur
  18.   and évalue_définition: environnement -> définition -> environnement
  19.   and imprime_valeur: valeur -> unit;;
  20.  
  21. exception Erreur of string;;
  22.